(r) i 
k < j. E(k) == 
i k < j. E(k)
clarification:
(r) i k < j. E(k) == r
+gp i k < j. E(k) | 13,42 |
(r) i k < j. E(k) == i k < j. E(k)
(r) i k < j. E(k) == r+gp i k < j. E(k)
| Up | |
| Wellformedness Lemmas | |
| Definitions | lb i < ub. E(i)+gp |